<?php
    $output = shell_exec('cd /home/ivi/keppel08/Html/AmsterValley && svn up && cd .. && chmod 775 -R AmsterValley && chown keppel08 -R AmsterValley');
    echo $output;
?>